IPA, inner product arguments
離散対数問題に基づくtransparent ZKPベース
内積引数
Halo
か
Halo2
で使われている??